Serveur d'exploration Bourbaki

Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.

JORDAN-CHEVALLEY DECOMPOSITION IN FINITE DIMENSIONAL LIE ALGEBRAS

Identifieur interne : 000339 ( Main/Exploration ); précédent : 000338; suivant : 000340

JORDAN-CHEVALLEY DECOMPOSITION IN FINITE DIMENSIONAL LIE ALGEBRAS

Auteurs : Leandro Cagliero [Argentine] ; Fernando Szechtman [Canada]

Source :

RBID : Pascal:11-0456018

Descripteurs français

English descriptors

Abstract

Let g be a finite dimensional Lie algebra over a field k of characteristic zero. An element x of g is said to have an abstract Jordan-Chevalley decomposition if there exist unique s, n ∈ g such that x = s + n, [s, n] = 0 and given any finite dimensional representation π: g → gl(V) the Jordan-Chevalley decomposition of π(x) in gl(V) is π(x) = π(s) + π(n). In this paper we prove that x ∈ g has an abstract Jordan-Chevalley decomposition if and only if x ∈ [g, g], in which case its semisimple and nilpotent parts are also in [g, g] and are explicitly determined. We derive two immediate consequences: (1) every element of g has an abstract Jordan-Chevalley decomposition if and only if g is perfect; (2) if g is a Lie subalgebra of gl(n, k), then [g, g] contains the semisimple and nilpotent parts of all its elements. The last result was first proved by Bourbaki using different methods. Our proof uses only elementary linear algebra and basic results on the representation theory of Lie algebras, such as the Invariance Lemma and Lie's Theorem, in addition to the fundamental theorems of Ado and Levi.


Affiliations:


Links toward previous steps (curation, corpus...)


Le document en format XML

<record>
<TEI>
<teiHeader>
<fileDesc>
<titleStmt>
<title xml:lang="en" level="a">JORDAN-CHEVALLEY DECOMPOSITION IN FINITE DIMENSIONAL LIE ALGEBRAS</title>
<author>
<name sortKey="Cagliero, Leandro" sort="Cagliero, Leandro" uniqKey="Cagliero L" first="Leandro" last="Cagliero">Leandro Cagliero</name>
<affiliation wicri:level="1">
<inist:fA14 i1="01">
<s1>CIEM-CONICET, FAMAF-UNIVERSIDAD NACIONAL DE CÓRDOBA</s1>
<s2>CÓRDOBA</s2>
<s3>ARG</s3>
<sZ>1 aut.</sZ>
</inist:fA14>
<country>Argentine</country>
<wicri:noRegion>CÓRDOBA</wicri:noRegion>
</affiliation>
</author>
<author>
<name sortKey="Szechtman, Fernando" sort="Szechtman, Fernando" uniqKey="Szechtman F" first="Fernando" last="Szechtman">Fernando Szechtman</name>
<affiliation wicri:level="4">
<inist:fA14 i1="02">
<s1>DEPARTMENT OF MATHEMATICS AND STATISTICS, UNIVERSITY OF REGINA</s1>
<s2>REGINA, SASKATCHEWAN, S4S 0A2</s2>
<s3>CAN</s3>
<sZ>2 aut.</sZ>
</inist:fA14>
<country>Canada</country>
<placeName>
<settlement type="city">Saskatchewan</settlement>
<region type="state">Manitoba</region>
</placeName>
<orgName type="university">Université de Regina</orgName>
</affiliation>
</author>
</titleStmt>
<publicationStmt>
<idno type="wicri:source">INIST</idno>
<idno type="inist">11-0456018</idno>
<date when="2011">2011</date>
<idno type="stanalyst">PASCAL 11-0456018 INIST</idno>
<idno type="RBID">Pascal:11-0456018</idno>
<idno type="wicri:Area/PascalFrancis/Corpus">000002</idno>
<idno type="wicri:Area/PascalFrancis/Curation">000094</idno>
<idno type="wicri:Area/PascalFrancis/Checkpoint">000002</idno>
<idno type="wicri:explorRef" wicri:stream="PascalFrancis" wicri:step="Checkpoint">000002</idno>
<idno type="wicri:doubleKey">0002-9939:2011:Cagliero L:jordan:chevalley:decomposition</idno>
<idno type="wicri:Area/Main/Merge">000339</idno>
<idno type="wicri:Area/Main/Curation">000339</idno>
<idno type="wicri:Area/Main/Exploration">000339</idno>
</publicationStmt>
<sourceDesc>
<biblStruct>
<analytic>
<title xml:lang="en" level="a">JORDAN-CHEVALLEY DECOMPOSITION IN FINITE DIMENSIONAL LIE ALGEBRAS</title>
<author>
<name sortKey="Cagliero, Leandro" sort="Cagliero, Leandro" uniqKey="Cagliero L" first="Leandro" last="Cagliero">Leandro Cagliero</name>
<affiliation wicri:level="1">
<inist:fA14 i1="01">
<s1>CIEM-CONICET, FAMAF-UNIVERSIDAD NACIONAL DE CÓRDOBA</s1>
<s2>CÓRDOBA</s2>
<s3>ARG</s3>
<sZ>1 aut.</sZ>
</inist:fA14>
<country>Argentine</country>
<wicri:noRegion>CÓRDOBA</wicri:noRegion>
</affiliation>
</author>
<author>
<name sortKey="Szechtman, Fernando" sort="Szechtman, Fernando" uniqKey="Szechtman F" first="Fernando" last="Szechtman">Fernando Szechtman</name>
<affiliation wicri:level="4">
<inist:fA14 i1="02">
<s1>DEPARTMENT OF MATHEMATICS AND STATISTICS, UNIVERSITY OF REGINA</s1>
<s2>REGINA, SASKATCHEWAN, S4S 0A2</s2>
<s3>CAN</s3>
<sZ>2 aut.</sZ>
</inist:fA14>
<country>Canada</country>
<placeName>
<settlement type="city">Saskatchewan</settlement>
<region type="state">Manitoba</region>
</placeName>
<orgName type="university">Université de Regina</orgName>
</affiliation>
</author>
</analytic>
<series>
<title level="j" type="main">Proceedings of the American Mathematical Society</title>
<title level="j" type="abbreviated">Proc. Am. Math. Soc.</title>
<idno type="ISSN">0002-9939</idno>
<imprint>
<date when="2011">2011</date>
</imprint>
</series>
</biblStruct>
</sourceDesc>
<seriesStmt>
<title level="j" type="main">Proceedings of the American Mathematical Society</title>
<title level="j" type="abbreviated">Proc. Am. Math. Soc.</title>
<idno type="ISSN">0002-9939</idno>
</seriesStmt>
</fileDesc>
<profileDesc>
<textClass>
<keywords scheme="KwdEn" xml:lang="en">
<term>Decomposition</term>
<term>Decomposition method</term>
<term>Invariance</term>
<term>Invariance principle</term>
<term>K algebra</term>
<term>Lie algebra</term>
<term>Linear algebra</term>
<term>Representation</term>
<term>Representation theory</term>
<term>Zero</term>
</keywords>
<keywords scheme="Pascal" xml:lang="fr">
<term>Décomposition</term>
<term>Méthode décomposition</term>
<term>Algèbre Lie</term>
<term>Algèbre K</term>
<term>Zéro</term>
<term>Représentation</term>
<term>Algèbre linéaire</term>
<term>Théorie représentation</term>
<term>Principe invariance</term>
<term>Invariance</term>
<term>17Bxx</term>
<term>Elément nilpotent</term>
<term>15XX</term>
<term>58J70</term>
</keywords>
</textClass>
</profileDesc>
</teiHeader>
<front>
<div type="abstract" xml:lang="en">Let g be a finite dimensional Lie algebra over a field k of characteristic zero. An element x of g is said to have an abstract Jordan-Chevalley decomposition if there exist unique s, n ∈ g such that x = s + n, [s, n] = 0 and given any finite dimensional representation π: g → gl(V) the Jordan-Chevalley decomposition of π(x) in gl(V) is π(x) = π(s) + π(n). In this paper we prove that x ∈ g has an abstract Jordan-Chevalley decomposition if and only if x ∈ [g, g], in which case its semisimple and nilpotent parts are also in [g, g] and are explicitly determined. We derive two immediate consequences: (1) every element of g has an abstract Jordan-Chevalley decomposition if and only if g is perfect; (2) if g is a Lie subalgebra of gl(n, k), then [g, g] contains the semisimple and nilpotent parts of all its elements. The last result was first proved by Bourbaki using different methods. Our proof uses only elementary linear algebra and basic results on the representation theory of Lie algebras, such as the Invariance Lemma and Lie's Theorem, in addition to the fundamental theorems of Ado and Levi.</div>
</front>
</TEI>
<affiliations>
<list>
<country>
<li>Argentine</li>
<li>Canada</li>
</country>
<region>
<li>Manitoba</li>
</region>
<settlement>
<li>Saskatchewan</li>
</settlement>
<orgName>
<li>Université de Regina</li>
</orgName>
</list>
<tree>
<country name="Argentine">
<noRegion>
<name sortKey="Cagliero, Leandro" sort="Cagliero, Leandro" uniqKey="Cagliero L" first="Leandro" last="Cagliero">Leandro Cagliero</name>
</noRegion>
</country>
<country name="Canada">
<region name="Manitoba">
<name sortKey="Szechtman, Fernando" sort="Szechtman, Fernando" uniqKey="Szechtman F" first="Fernando" last="Szechtman">Fernando Szechtman</name>
</region>
</country>
</tree>
</affiliations>
</record>

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Mathematiques/explor/BourbakiV1/Data/Main/Exploration
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 000339 | SxmlIndent | more

Ou

HfdSelect -h $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd -nk 000339 | SxmlIndent | more

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Mathematiques
   |area=    BourbakiV1
   |flux=    Main
   |étape=   Exploration
   |type=    RBID
   |clé=     Pascal:11-0456018
   |texte=   JORDAN-CHEVALLEY DECOMPOSITION IN FINITE DIMENSIONAL LIE ALGEBRAS
}}

Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Thu Jul 5 10:00:31 2018. Site generation: Sat Nov 19 17:42:07 2022